Programming languages

Results: 18154



#Item
131

Concepts of Programming Languages – Recitation 3: More Natural Operational Semantics Oded Padon Reference:

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2015-04-01 08:57:39
    132

    Notions of computation and monads Eugenio Moggi∗ Abstract The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one

    Add to Reading List

    Source URL: core.ac.uk

    - Date: 2014-10-31 12:11:04
      133

      Computation-by-Interaction with Effects Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen, Munich, Germany Abstract. A successful approach in the semantics of programming languages

      Add to Reading List

      Source URL: www2.tcs.ifi.lmu.de

      - Date: 2011-09-19 12:59:27
        134

        W EV IE Practical Foundations for Programming Languages S ECOND E DITION

        Add to Reading List

        Source URL: www.cs.cmu.edu

        - Date: 2016-12-07 12:41:08
          135

          Tight Bounds for Linkages in Planar Graphs. 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, Lecture Notes in Computer Science, Springer Verlag, 2011. Irrelevant Vertices for the Planar D

          Add to Reading List

          Source URL: users.uoa.gr

          - Date: 2014-06-11 17:30:28
            136

            Principles to Scaffold Mixed Textual and Iconic End-User Programming Languages Cyndi Rader, Gina Cherry, Cathy Brand, Alexander Repenning and Clayton Lewis University of Colorado Campus Box 430, Boulder, CO {c

            Add to Reading List

            Source URL: www.cs.colorado.edu

            - Date: 1999-01-18 12:49:31
              137

              BU CAS CS 520 (Fall Semester, Principles of Programming Languages Assignment 4 Out: Monday, 19 October 2009 Due: Thursday, 29 October 2009

              Add to Reading List

              Source URL: www.cs.bu.edu

              - Date: 2009-10-29 17:36:26
                138

                American National Standard for Information Systems — Programming Languages — Forth

                Add to Reading List

                Source URL: dl.forth.com

                - Date: 2016-04-11 20:50:01
                  139

                  SimilarTech: Automatically Recommend Analogical Libraries across Different Programming Languages Chunyang Chen Zhenchang Xing

                  Add to Reading List

                  Source URL: ccywch.github.io

                  - Date: 2016-08-07 09:43:02
                    140

                    -68262500FAO Lorraine Murphy ISO/IEC JTC 1/SC 22/WG 14 Programming languages, their environments and system software interfaces – C Visa Request

                    Add to Reading List

                    Source URL: www.open-std.org

                    - Date: 2015-11-22 20:08:54
                      UPDATE